\date{\today}
\author{Robin M\"uller-Bady}
\title{Advanced Formal Modeling\\Lectures and Exercises}
\maketitle
\tableofcontents
